// string & (number => boolean)
type A = string & number => boolean;
